#ifndef WSPACE_SWITHER_H_INCLUDED
#define WSPACE_SWITHER_H_INCLUDED

#include <gtk/gtk.h>
#include <libwnck/libwnck.h>

#include "globals.h"


extern GtkWidget *wspace_buttons[MAX_WSPACES];
extern gulong      wspace_buttons_handlers[MAX_WSPACES];


GtkWidget * wspace_switcher_new ();
void        wspace_switcher_sync ();
void        wspace_switcher_on_change_wspace (
                WnckScreen    *screen,
                WnckWorkspace *previously_active_space,
                gpointer       user_data);

void        wspace_switcher_block_signals ();
void        wspace_switcher_unblock_signals ();

#endif // WSPACE_SWITHER_H_INCLUDED
